Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... 1381 (Lecture Notes in Computer Science)
by Chris Hankin
ISBN 13: 9783540643029
Format: Paperback (300 pages) Publisher: Springer Published: 11 Mar 1998
Save for later
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings: 3672 (Lecture Notes in Computer Science)
by Chris Hankin,Igor Siveroni
ISBN 13: 9783540285847
Format: Illustrated (380 pages) Publisher: Springer Published: 13 Jun 2008
Principles of Program Analysis
by Flemming Nielson,Hanne Riis Nielson,Chris Hankin
ISBN 13: 9783642084744
Format: Paperback (476 pages) Publisher: Springer Berlin Heidelberg Published: 19 Feb 2010
Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.: 1061 (Lecture Notes in Computer Science)
by Paolo Ciancarini,Chris Hankin
ISBN 13: 9783540610526
Format: Paperback (468 pages) Publisher: Springer Published: 13 Jun 2008
Introducao ao calculo lambda (Cadernos de Logica E Computacao)
by Chris Hankin,Jo O. Rasga
ISBN 13: 9781848900844
Format: Paperback (186 pages) Publisher: College Publications Published: 16 Aug 2012
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays: 9560 (Lecture Notes in Computer Science)
by Christian W. Probst, Chris Hankin, René Rydhof Hansen
ISBN 13: 9783319278094
Format: Paperback (356 pages) Publisher: Springer Published: 24 Jan 2016